After all, there are some inequalities which are provable in ZFC
نویسندگان
چکیده
منابع مشابه
After All, There Are Some Inequalities Which Are Provable in ZFC
We address ZFC inequalities between some cardinal invariants of the continuum, which turned to be true in spite of strong expectations given by [10].
متن کاملP30: Are There Anxious Genes?
Anxiety comprises many clinical descriptions and phenotypes. A genetic predisposition to anxiety is undoubted; however, the nature and extent of that contribution is still unclear. Extensive genetic studies of the serotonin (5-hydroxytryptamine, 5-HT) transporter (5-HTT) gene have revealed how variation in gene expression can be correlated with anxiety phenotypes. Complete genome-wide linkage s...
متن کاملThere Are No Infinite Order Polynomially Complete Lattices after All
If L is a lattice with the interpolation property whose cardinality is a strong limit cardinal of uncountable cofinality, then some finite power L has an antichain of size κ. Hence there are no infinite opc lattices. However, the existence of strongly amorphous sets implies (in ZF) the existence of infinite opc lattices.
متن کاملA Model in Which There Are Jech–kunen Trees but There Are No Kurepa Trees
By an ω1–tree we mean a tree of power ω1 and height ω1. We call an ω1–tree a Jech–Kunen tree if it has κ–many branches for some κ strictly between ω1 and 21 . In this paper we construct the models of CH plus 21 > ω2, in which there are Jech–Kunen trees and there are no Kurepa trees. An partially ordered set, or poset for short, 〈T,<T 〉 is called a tree if for every t ∈ T the set {s ∈ T : s <T t...
متن کاملSome Perturbed Inequalities of Ostrowski Type for Functions whose n-th Derivatives Are Bounded
We firstly establish an identity for $n$ time differentiable mappings Then, a new inequality for $n$ times differentiable functions is deduced. Finally, some perturbed Ostrowski type inequalities for functions whose $n$th derivatives are of bounded variation are obtained.
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: The Journal of Symbolic Logic
سال: 2000
ISSN: 0022-4812,1943-5886
DOI: 10.2307/2586571